THE CONSTRUCTION OF A BI-MODAL PROPOSITIONAL LOGIC S2-S2 AND ITS DECISION METHOD
نویسندگان
چکیده
منابع مشابه
Equality propositional logic and its extensions
We introduce a new formal logic, called equality propositional logic. It has two basic connectives, $boldsymbol{wedge}$ (conjunction) and $equiv$ (equivalence). Moreover, the $Rightarrow$ (implication) connective can be derived as $ARightarrow B:=(Aboldsymbol{wedge}B)equiv A$. We formulate the equality propositional logic and demonstrate that the resulting logic has reasonable properties such a...
متن کاملProof Search and Countermodel Construction in Bi-intuitionistic Propositional Logic
Bi-intuitionistic propositional logic (also known as Heyting-Brouwer logic, subtractive logic) extends intuitionistic propositional logic with a connective that is dual to implication, called coimplication. It is the logic of bi-[Cartesian closed] categories and it also has a Kripke semantics. It first got the attention of C. Rauszer who studied it in a number of papers. Later, it has been inve...
متن کاملBidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4
We present a multi-context focused sequent calculus whose derivations are in bijective correspondence with normal natural deductions in the propositional fragment of the intuitionistic modal logic IS4. This calculus, suitable for the enumeration of normal proofs, is the starting point for the development of a sequent calculus-based bidirectional decision procedure for propositional IS4. In this...
متن کاملSemantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications
This paper deals with propositional fuzzy modal logic with evaluated syntax based on MV-algebras. We focus on its semantical theory from the viewpoint of Pavelka’s graded semantics of propositional fuzzy logic, investigate the L-tautologies based on different Kripke frames. We also define the notion of Lsemantical consequence operation, its some basic properties are obtained. Finally, this pape...
متن کاملThe Architecture of S2
We present in this paper the essential aspects of the S2 system. This is the internet realization of SEMPER: An active, multi-domain, space-based, object oriented design environment for integrated building performance modeling. We begin with an overview of SEMPER principles. We then present the component based system architecture of S2, which makes use of the Common Object Request Broker Archit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Kagaku tetsugaku
سال: 1978
ISSN: 1883-6461,0289-3428
DOI: 10.4216/jpssj.11.119